1![QUASIPOLYNOMIAL NORMALISATION IN DEEP INFERENCE VIA ATOMIC FLOWS AND THRESHOLD FORMULAE PAOLA BRUSCOLI, ALESSIO GUGLIELMI, TOM GUNDERSEN, AND MICHEL PARIGOT ABSTRACT. Jeˇrábek showed that cuts in classical propositiona QUASIPOLYNOMIAL NORMALISATION IN DEEP INFERENCE VIA ATOMIC FLOWS AND THRESHOLD FORMULAE PAOLA BRUSCOLI, ALESSIO GUGLIELMI, TOM GUNDERSEN, AND MICHEL PARIGOT ABSTRACT. Jeˇrábek showed that cuts in classical propositiona](https://www.pdfsearch.io/img/2a6715564c4c472f5e4a322660031d99.jpg) | Add to Reading ListSource URL: cs.bath.ac.ukLanguage: English - Date: 2016-02-27 12:40:53
|
---|
2![EIE: Efficient Inference Engine on Compressed Deep Neural Network Song Han∗ Xingyu Liu∗ Huizi Mao∗ Jing Pu∗ Ardavan Pedram∗ Mark A. Horowitz∗ William J. Dally∗† University, † NVIDIA {songhan,xyl,huizi,j EIE: Efficient Inference Engine on Compressed Deep Neural Network Song Han∗ Xingyu Liu∗ Huizi Mao∗ Jing Pu∗ Ardavan Pedram∗ Mark A. Horowitz∗ William J. Dally∗† University, † NVIDIA {songhan,xyl,huizi,j](https://www.pdfsearch.io/img/9f9d4b5818bf29960f9a26da490efba9.jpg) | Add to Reading ListSource URL: arxiv.org- Date: 2016-05-03 21:06:22
|
---|
3![Deep Inference and Symmetry in Classical Proofs Dissertation zur Erlangung des akademischen Grades Doktor rerum naturalium vorgelegt an der Technischen Universit¨ Deep Inference and Symmetry in Classical Proofs Dissertation zur Erlangung des akademischen Grades Doktor rerum naturalium vorgelegt an der Technischen Universit¨](https://www.pdfsearch.io/img/9da2ae59b1508d8f4c4e9d7e25ceebf9.jpg) | Add to Reading ListSource URL: cs.bath.ac.uk- Date: 2014-09-12 07:12:40
|
---|
4![Ten Years of Deep Inference Ten Years of Deep Inference](https://www.pdfsearch.io/img/510e3b612c118b5d821e67a8e14ecc3d.jpg) | Add to Reading ListSource URL: cs.bath.ac.uk- Date: 2010-01-24 12:39:45
|
---|
5![ON ANALYTICITY IN DEEP INFERENCE PAOLA BRUSCOLI AND ALESSIO GUGLIELMI In this note, we discuss the notion of analytic inference rule for propositional logics in the calculus of structures (CoSCoS generalises the s ON ANALYTICITY IN DEEP INFERENCE PAOLA BRUSCOLI AND ALESSIO GUGLIELMI In this note, we discuss the notion of analytic inference rule for propositional logics in the calculus of structures (CoSCoS generalises the s](https://www.pdfsearch.io/img/fbf1e8560dfbc5b4308e3a24e909612f.jpg) | Add to Reading ListSource URL: cs.bath.ac.uk- Date: 2016-12-16 05:02:50
|
---|
6![Subatomic Proof Systems Andrea Aler Tubella and Alessio Guglielmi University of Bath The proof theoretic methodology of deep inference [2] yields the widest range of analytic proof systems. In Subatomic Proof Systems Andrea Aler Tubella and Alessio Guglielmi University of Bath The proof theoretic methodology of deep inference [2] yields the widest range of analytic proof systems. In](https://www.pdfsearch.io/img/7913f9d18762823f63d77a823ae694ed.jpg) | Add to Reading ListSource URL: aalertubelladotcom.files.wordpress.com- Date: 2016-04-04 17:54:35
|
---|
7![Some News on the Proof Complexity of Deep Inference Some News on the Proof Complexity of Deep Inference](https://www.pdfsearch.io/img/1ea0594dcaea4ce740eb0e7db92786c6.jpg) | Add to Reading ListSource URL: cs.bath.ac.uk- Date: 2009-11-08 22:57:53
|
---|
8![The complexity of propositional proofs in deep inference submitted by Anupam Das for the degree of PhD The complexity of propositional proofs in deep inference submitted by Anupam Das for the degree of PhD](https://www.pdfsearch.io/img/a0cb9c3fcc1fc17f8fc30086ee6ed7c6.jpg) | Add to Reading ListSource URL: www.anupamdas.com- Date: 2016-04-05 04:03:41
|
---|
9![Introduction to Deep Inference Alessio Guglielmi University of Bath 29th SeptemberThis talk is available at http://cs.bath.ac.uk/ag/t/IDI.pdf Introduction to Deep Inference Alessio Guglielmi University of Bath 29th SeptemberThis talk is available at http://cs.bath.ac.uk/ag/t/IDI.pdf](https://www.pdfsearch.io/img/a83b2ab359c93d69854bd1335c4c91b1.jpg) | Add to Reading ListSource URL: cs.bath.ac.uk- Date: 2014-10-09 07:20:40
|
---|
10![DeepX: A Software Accelerator for Low-Power Deep Learning Inference on Mobile Devices Nicholas D. Lane‡ , Sourav Bhattacharya‡ , Petko Georgiev† Claudio Forlivesi‡ , Lei Jiao‡ , Lorena Qendro∗ , and Fahim Kaw DeepX: A Software Accelerator for Low-Power Deep Learning Inference on Mobile Devices Nicholas D. Lane‡ , Sourav Bhattacharya‡ , Petko Georgiev† Claudio Forlivesi‡ , Lei Jiao‡ , Lorena Qendro∗ , and Fahim Kaw](https://www.pdfsearch.io/img/226577d8147d7aca42a4b4fae6a53aa3.jpg) | Add to Reading ListSource URL: niclane.org- Date: 2016-02-21 19:37:41
|
---|